Section: Partnerships and Cooperations

International Initiatives

LifeForm

• Title: Life Sciences need formal Methods !

• International Partner (Institution - Laboratory - Researcher):

  • Newcastle University (United Kingdom) - School of Computing Science - Victor Khomenko

• Start year: 2016

• See also: http://projects.lsv.ens-cachan.fr/LifeForm/

• This project extends an existing cooperation between the MEXICO team and Newcastle University on partial-order based formal methods for concurrent systems. We enlarge the partnership to bioinformatics and synthetic biology. The proposal addresses addresses challenges concerning formal specification, verification, monitoring and control of synthetic biological systems, with use cases conducted in the Center for Synthetic Biology and the Bioeconomy (CSBB) in Newcastle. A main challenge is to create a solid modelling framework based on Petri-net type models that allow for causality analysis and rapid state space exploration for verification, monitoring and control purposes; a potential extension to be investigated concerns the study of attractors and cell reprogramming in Systems Biology.